VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
language
(LOTOS) A formal
specification language
based on
temporal ordering used for
protocol
specfication in
ISO
OSI
standard
s. It is published as ISO 8807 in 1990 and
describes the order in which events occur.
["The Formal Description Technique LOTOS", P.H.J. van Eijk et
al eds, N-H 1989].
(1995-03-18)